\begin{tabbing}
$\forall$\=$i$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it da}$:$k$:Knd fp$\rightarrow$ Type, $x$:Id, $T$:Type, $v$:$T$, ${\it ks}$:Knd List,\+
\\[0ex]${\it tr}$:($k$:\{$k$:Knd$\mid$ ($k$ $\in$ ${\it ks}$) \}$\rightarrow$State(${\it ds}$)$\rightarrow$Valtype(${\it da}$;$k$)$\rightarrow$$T$$\rightarrow$$T$).
\-\\[0ex]${\it ds}$ $\parallel$ $x$ : $T$ $\Rightarrow$ R{-}state{-}var{-}init($i$;${\it ds}$;${\it da}$;$x$;$T$;$v$;${\it ks}$;${\it tr}$) $\in$ Realizer
\end{tabbing}